"Frank S.de Boer" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

Категория: Компьютеры

2.53 Mb

#2

Formal Methods for Components and Objects

Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel

Категория: Математика, Прикладная математика

4.09 Mb

#3

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected ... Programming and Software Engineering)

Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel

4.20 Mb

#4

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

9.52 Mb

#5

Formal Methods for Components and Objects - FMCO 2010

Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue

6.30 Mb

#6

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey ... Programming and Software Engineering)

Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine

5.55 Mb

#7

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007, Revised Lectures

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

7.96 Mb

#8

Formal methods for components and objects : 6th international symposium : revised papers

Frank S de Boer; et al

Категория: Cs_Computer science, CsLn_Lecture notes

4.93 Mb

#9

Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009 : revised selected papers

Frank S de Boer; et al

Категория: Cs_Computer science, CsLn_Lecture notes

4.31 Mb

#10

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Категория: Компьютеры

3.81 Mb

#11

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

frank s. de (editor) ; bonsangue, marcello (editor) ; graf, susanne (editor) boer

Категория: Компьютеры

3.87 Mb

#12

Formal Methods for Components and Objects, 4 conf., FMCO 2005

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Категория: Cs_Computer science, CsLn_Lecture notes

3.85 Mb

#13

Formal Methods for Components and Objects, 2 conf., FMCO 2003

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Категория: CsLn_

7.29 Mb

#14

Formal Methods for Components and Objects, 5 conf., FMCO 2006

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Категория: CsLn_

3.18 Mb

#15

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever

4.59 Mb

#16

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

3.47 Mb

#17

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Gilles Barthe, Frank S. de Boer

2.74 Mb